Sorting encrypted data without decryption: a practical trick
dev.toยท4hยท
Discuss: DEV
๐Ÿ”Hash Functions
Efficient and accurate search in petabase-scale sequence repositories
nature.comยท2dยท
Discuss: Hacker News
๐Ÿ”„Burrows-Wheeler
METRICALARGS: A Taxonomy for Studying Metrical Poetry with LLMs
arxiv.orgยท15h
๐Ÿ“ŠHyperLogLog
An enough week
blog.mitrichev.chยท23hยท
๐Ÿ“ˆLinear programming
Mind the Gap: Quantifying Vocabulary Mismatch in E-Commerce Site Search
searchhub.ioยท1dยท
Discuss: Hacker News
๐Ÿ“ˆSearch Quality
#14 Logarithm ....History and Etymology of Math Terms
pballew.blogspot.comยท13hยท
๐Ÿ“ŠAPL Heritage
From Documents to Dialogue: A step-by-step RAG Journey
dev.toยท5hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Carrying Code
Basketball trivia, editing distances, and derangement
leancrew.comยท1d
๐ŸŒณTrie Structures
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท17hยท
โœ…Format Verification
Nearest Neighbor CCP-Based Molecular Sequence Analysis
arxiv.orgยท15h
๐Ÿ”„Burrows-Wheeler
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
MetaGraph: Scalable annotated de Bruijn graphs for DNA indexing and alignment
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”„Burrows-Wheeler
The Day I Hacked XCTrack
blog.syrac.orgยท4hยท
Discuss: Hacker News
๐Ÿ”PKI Archaeology
Letโ€™s Make a Tic-Tac-Deal!
thefiddler.substack.comยท7hยท
Discuss: Substack
๐ŸŽฏProof Tactics
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.comยท1dยท
๐ŸงฎAlgebraic Datatypes
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.aiยท5hยท
Discuss: Hacker News
๐ŸŽฏPerformance Proofs
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.orgยท1dยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling
Language Support for Marginalia Search
marginalia.nuยท4d
๐Ÿ”BitFunnel